TraceFix: Reparando protocolos de coordinación de agentes con contraejemplos de TLA+
TraceFix: Repara protocolos de agentes con TLA+ de forma automática. Optimiza la fiabilidad de tus sistemas distribuidos con esta potente herramienta de verificación.